$\forall$$a$, $b$:$\mathbb{Q}$. ($\neg$$b$ $<$ $a$) $\Leftarrow\!\Rightarrow$ $a$ $\leq$ $b$